The SmartLogic Tool: Analysing and Testing Smart Card Protocols Gerhard de Koning Gans, Joeri de Ruiter Digital Security, Radboud University Nijmegen The SmartLogic Tool

Source URL: www.spacios.eu

A type system for Continuation Calculus Herman Geuvers Radboud University Nijmegen, Technical University Eindhoven, the Netherlands

Source URL: www.cs.ru.nl

• Mathematics
• Logic
• Mathematical logic
• Type theory
• Automated theorem proving
• Logic programming
• Models of computation
• Logic in computer science
• Substitution
• Structure
• Model theory
• Parity of a permutation

Types in functional languages Dependent types and the Propositions-as-Types Isomorphism The Coq system and inductive types Rich types for programming and proving Radboud University Nijmegen

Source URL: www.cs.ru.nl

• Type theory
• Functional languages
• Proof assistants
• Dependently typed programming
• Logic in computer science
• Coq
• Dependent type
• Functional programming
• Haskell
• Inductive type
• Quicksort
• CurryHoward correspondence

NaCl’s crypto box in hardware Michael Hutter, J¨ urgen Schilling, Peter Schwabe, and Wolfgang Wieser Cryptography Research, TU Graz (IAIK), Radboud University Nijmegen September 14, 2015

Source URL: www.cryptoexperts.com

The MIFARE Hack Mathias Morbitzer Radboud University Nijmegen Abstract. The MIFARE Classic is the most popular RFID chip, used in

Source URL: www.proxmark.org

Categorical Views on Computations on Trees (Extended Abstract) Ichiro Hasuo1 , Bart Jacobs1 , and Tarmo Uustalu2 1 Institute of Computing and Information Sciences, Radboud University Nijmegen,

Source URL: cs.ioc.ee

Reverse engineering the memory layout of the OV-Chipkaart Ruben Muijrers Supervisor: Wouter Teepe Radboud University Nijmegen

Source URL: www.proxmark.org

Making the Best of Mifare Classic Wouter Teepe Radboud University Nijmegen October 6, 2008 Abstract

Source URL: www.proxmark.org

Newman’s Typability Algorithm Herman Geuvers1 Radboud University Nijmegen and Eindhoven University of Technology The Netherlands

Source URL: www.cs.ru.nl

• Theoretical computer science
• Formal methods
• Mathematical logic
• Computability theory
• Type theory
• Algorithm
• Lambda calculus
• Combinatory logic
• Set theory
• Gottlob Frege
• Ernst Zermelo

Newman’s Typability Algorithm Herman Geuvers (joint work with Robbert Krebbers) Radboud University Nijmegen Technical University Eindhoven The Netherlands

Source URL: www.cs.ru.nl

• Symbol
• Lambda calculus
• Spectral theory
• Computer science
• Mathematics
• Academia
• Jordan normal form
• Spectral theory of ordinary differential equations